Stopping Illegal Mining In The Amazon With Satellite Data